Monitoring temporal changes of seismic properties
نویسندگان
چکیده
منابع مشابه
Monitoring temporal changes of seismic properties
Temporal changes of seismic properties, such as velocity, attenuation, anisotropy, and scattering properties, have been inferred by active methods for decades and more recently by passive methods. In particular, passive methods are capable of monitoring seismic properties because they do not require earthquakes but rely on continuously excited signals in the ocean, for example, a collection of ...
متن کاملMonitoring and Locating Changes in the Elastic Properties of the Crust with Ambient Seismic Noise Interferometry
In highly heterogeneous media waves do not propagate ballistically. They interact several times with the heterogeneities of the medium and enter the multiple scattering regime. In this regime, classical imaging techniques based on direct or singly scattered waves fail. This is typically the case in fault zones and volcanoes, two highly heterogeneous structures that are of great interest for man...
متن کاملMonitoring Temporal Properties of Stochastic Systems
We present highly accurate deterministic and probabilistic methods for monitoring temporal properties of stochastic systems. The deterministic algorithms employ timeouts that are set dynamically to achieve desired accuracy. The probabilistic algorithms employ coin tossing and can give highly accurate monitors when the system behavior is
متن کاملMonitoring Temporal Properties of Continuous Signals
In this paper we introduce a variant of temporal logic tailored for specifying desired properties of continuous signals. The logic is based on a bounded subset of the real-time logic MITL, augmented with a static mapping from continuous domains into propositions. From formulae in this logic we create automatically property monitors that can check whether a given signal of bounded length and fin...
متن کاملFormally specified monitoring of temporal properties
We describe the Monitoring and Checking (MaC) framework which provides assurance on the correctness of an execution of a real-time system at run-time. Monitoring is performed based on a formal specification of system requirements. MaC bridges the gap between formal specification, which analyzes designs rather than implementations, and testing, which validates implementations but lacks formality...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Frontiers in Earth Science
سال: 2015
ISSN: 2296-6463
DOI: 10.3389/feart.2015.00042